pijul nest
guest › [sign in] [explore]
{/} code [~] changes [>] discussions [*] jobs

Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.
fogti
feat(Syntax.Abstract): add unification and type checking
Created by fogti on Aug 26, 2024, 11:29 PM
JSZSXPHKKMTLHV4CXCYAKHU32USXDBSZH7HSH7V662TZ7JA3VA6QC
State: BC7MODY5TYMDDVV77EOB5QDJR6TBJRK7LG5CKQKLKD7RBN64QKIQC
fogti
use list instead of deque
Created by fogti on Aug 26, 2024, 9:55 PM
X4IQZMO364GSCFRZ2TCWVQEP7NB4MSFB6HUZVXFMYZFJZSAZEIKQC
State: DEEUP4K6TYQ6YERYBEADJQFEDHIUF2PTKPRQVCJSJS7P76QJ2L5AC
fogti
add ScopeMask (incl. property test)
Created by fogti on Aug 26, 2024, 6:49 PM
2KOAQWUTFV673P2CLZEIZIVOCPTMXNKDILOVWP6PHRJWAXEGLC6QC
State: 4KQH3OBWTLDKECMHJ3JD7I7XZMEZXTHBX23KAHL4ZN2X2DUSWU6QC
fogti
Syntax.Abstract: implement eval
Created by fogti on Aug 26, 2024, 5:27 PM
QXX6KTFXDUOBY3WATDAZ4XIRLHSRKXLSDQSSD7OP7CDLRUHGJELAC
State: CIUBXIJ65CDZ2ZRVOEBM7FLUPWDHZQXUCN4VNPSRJ2F7TBTBSSBAC
fogti
merge comments parser into Utils.SteParser.Lex
Created by fogti on Aug 26, 2024, 4:42 PM
7KZ6F5OCRNJEUS6YBBNGW77EAWTLRMUPHP7I6Y7MDVD5ZYY2R5XAC
State: VEJWKOOB7OJLGQPZQTYEJ5JC36GAAM465GLQLKVWLXPNBHXHEQJQC
fogti
add comment lexing and remove references stuff
Created by fogti on Aug 26, 2024, 3:02 PM
HQ2ZYTX5DUKYFUHN5VHTMBQGXXLKPOO3CSGWK4G44SQ6ZO5PMFRQC
State: AYP6ONY77KCNQNFOZJC6ZDDJW475OWJV2AM5UZBDFTXZSQ5ZQY7AC
fogti
some attempts at abstract syntax
Created by fogti on Aug 23, 2024, 1:42 PM
JDF4JUMSZJ6JD4Y27R2G5JC6LFT6SNCP52UDVCGKQ4QAGMGUDMJAC
State: 5YUBMPH27KDP5Y3YJYOCTDUSJCDDBEVKZ7DEJQM3U4CSWBFAECJQC
fogti
add Literal from yanais
Created by fogti on Aug 22, 2024, 3:43 PM
EFHQIYTCATMP3PQNVAUSK75EDA5E3QCOB737TTJWURPFCUO7VSXQC
State: 6E6ZZOGOMWFTLYT6TLSAUUBDQOANP5TSYU3L52IN36XER77LSKGAC
fogti
SteParser.Lex: small simplification
Created by fogti on Aug 22, 2024, 3:15 PM
TF4RCKCB6OSEDPP37HZUNY6EN5NLYVAQYSMLH3GYF55YP7ZDPMGAC
State: VVFMQZY47VFLTCGNV6IH4YKFGWAVNOZA4K6XYIFARUVRBOEULHEAC
fogti
Fusion.StepFun should be a newtype
Created by fogti on Aug 22, 2024, 3:05 PM
PP3XLPBKQZT7FNDWA7IPT6URFAUS2WWWONDKH2ZVAK4Q7ER5P6DQC
State: JSF6WSTSWE5F7X3I2RWPKYVMQE37MRASP3OXASEVKRRWBLGBTJ7AC
fogti
Fusion: actually implement list rewrite rule
Created by fogti on Aug 22, 2024, 2:51 PM
G64LUZSXYNCYM6OBDLBOCQODNVOF7EM4DUA2IFP43FR46RA5VR3AC
State: YU6LS35SOXGI555XKEPWCBZSMZR6R6XMPIM3Y5Z3MMT3NWYGP7RQC
fogti
SteParser.Lex: use Natural instead of Int
Created by fogti on Aug 21, 2024, 9:45 PM
BHEGMMXQ5MC3347UI4VDYHRHBY5JYIGVM4SVRSMLVXJWOLBBX3VQC
State: FHILM6STUGSNM3BYCOUML7TRMIPNV54RTV7D4ZS3CO3GHTFA5FMAC
fogti
add back more stuff from yanais
Created by fogti on Aug 21, 2024, 9:19 PM
GMGXNJEPA2NENYJKQFAFYWHDEJOK62T4PK6EY7NE6GIX4Y2JPHTAC
State: CEFEZBDQD5H7PAP6UFIIENMKLYV7NJ6THHIWTKS5THTXZ45KE4EQC
fogti
+LICENSE
Created by fogti on Aug 21, 2024, 11:38 AM
FHKXKG4OF52247ULEDHNWBTAQDABCEJHWUFEUTAY5NJKNRD5L7MAC
State: LWEQ53LPCZ474X2KJLUETOJ4FD343BGENJC7USKY65IR2YMGKUJQC
fogti
ListMaybe: use Natural instead of Int
Created by fogti on Aug 21, 2024, 10:42 AM
BYJ7NJSKA3G5YNETPT4PEAW5TH4KTNI66BMHNMDWFS6YXSFYWVMQC
State: FFHWPINEFGHGENJAXZC26O7IFOHKZ5WDSHXXFWRLRETSRRWXMGUAC
fogti
add simple stuff (e.g. haskell basics)
Created by fogti on Aug 21, 2024, 10:30 AM
6XMVEBZAMRKHRYLFMJ6ZNSBM5ZXPTPK4YS4QUNGGPPUS4HLPO6GAC
State: D53JPIKHUFSA23GKEEBBQIPVDWV7HEZ3JPBZ6TGD4LF7LRKT4AGQC
fogti
initial commit
Created by fogti on Aug 1, 2024, 12:01 PM
M7E5HOX3DRROBVN4ZDYIJQL4IU4AQOUJVOT5GP4JR4IKITYUD3MQC
State: LR2HJEEUJB7E7TQ2OAY3F5BCZIZKI5QNAAS43ALW7LIJXDH7BPCAC
State: XHZWYYMJTOX37FUUAU6QXBDOMN3OYUSQDSS55DU4QVBGSUJZVAYAC