The Nest
Explore
0
feat(Syntax.Abstract): add unification and type checking
Created by  fogti  on August 26, 2024
JSZSXPHKKMTLHV4CXCYAKHU32USXDBSZH7HSH7V662TZ7JA3VA6QC
use list instead of deque
Created by  fogti  on August 26, 2024
X4IQZMO364GSCFRZ2TCWVQEP7NB4MSFB6HUZVXFMYZFJZSAZEIKQC
add ScopeMask (incl. property test)
Created by  fogti  on August 26, 2024
2KOAQWUTFV673P2CLZEIZIVOCPTMXNKDILOVWP6PHRJWAXEGLC6QC
Syntax.Abstract: implement eval
Created by  fogti  on August 26, 2024
QXX6KTFXDUOBY3WATDAZ4XIRLHSRKXLSDQSSD7OP7CDLRUHGJELAC
merge comments parser into Utils.SteParser.Lex
Created by  fogti  on August 26, 2024
7KZ6F5OCRNJEUS6YBBNGW77EAWTLRMUPHP7I6Y7MDVD5ZYY2R5XAC
add comment lexing and remove references stuff
Created by  fogti  on August 26, 2024
HQ2ZYTX5DUKYFUHN5VHTMBQGXXLKPOO3CSGWK4G44SQ6ZO5PMFRQC
some attempts at abstract syntax
Created by  fogti  on August 23, 2024
JDF4JUMSZJ6JD4Y27R2G5JC6LFT6SNCP52UDVCGKQ4QAGMGUDMJAC
add Literal from yanais
Created by  fogti  on August 22, 2024
EFHQIYTCATMP3PQNVAUSK75EDA5E3QCOB737TTJWURPFCUO7VSXQC
SteParser.Lex: small simplification
Created by  fogti  on August 22, 2024
TF4RCKCB6OSEDPP37HZUNY6EN5NLYVAQYSMLH3GYF55YP7ZDPMGAC
Fusion.StepFun should be a newtype
Created by  fogti  on August 22, 2024
PP3XLPBKQZT7FNDWA7IPT6URFAUS2WWWONDKH2ZVAK4Q7ER5P6DQC
Fusion: actually implement list rewrite rule
Created by  fogti  on August 22, 2024
G64LUZSXYNCYM6OBDLBOCQODNVOF7EM4DUA2IFP43FR46RA5VR3AC
SteParser.Lex: use Natural instead of Int
Created by  fogti  on August 21, 2024
BHEGMMXQ5MC3347UI4VDYHRHBY5JYIGVM4SVRSMLVXJWOLBBX3VQC
add back more stuff from yanais
Created by  fogti  on August 21, 2024
GMGXNJEPA2NENYJKQFAFYWHDEJOK62T4PK6EY7NE6GIX4Y2JPHTAC
+LICENSE
Created by  fogti  on August 21, 2024
FHKXKG4OF52247ULEDHNWBTAQDABCEJHWUFEUTAY5NJKNRD5L7MAC
ListMaybe: use Natural instead of Int
Created by  fogti  on August 21, 2024
BYJ7NJSKA3G5YNETPT4PEAW5TH4KTNI66BMHNMDWFS6YXSFYWVMQC
add simple stuff (e.g. haskell basics)
Created by  fogti  on August 21, 2024
6XMVEBZAMRKHRYLFMJ6ZNSBM5ZXPTPK4YS4QUNGGPPUS4HLPO6GAC
initial commit
Created by  fogti  on August 1, 2024
M7E5HOX3DRROBVN4ZDYIJQL4IU4AQOUJVOT5GP4JR4IKITYUD3MQC
(no change message)
Created by   on August 1, 2024
4WNNCO27G5FWKIZVSJTVPUEEOL4PMQ7Z7RATYZPOH5OLN53Q44JQC