ignore pijul files

Created by  Michael Zhang  on November 2, 2023

IU664BKLK3THETLP7MRS7YSJOLMJHUV36KHJ7EGBIFT3YUKHMKHAC

some progress on extra exercises

Created by  Michael Zhang  on November 2, 2023

GJ52TQIFKV4E6CHJJ76QBJGOSZYWC46KLLTGW33S237TH4RRCURQC

ok implemented most of the typing rules

Created by  Michael Zhang  on November 2, 2023

FFWDQXFKZDMVCZ4SY4IZS3UTP3LZKQ7N3WZN3WCX6HMT2JFHLV7QC

ok we're back to rust

Created by  Michael Zhang  on November 2, 2023

PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC

ok fuck rescript

Created by  Michael Zhang  on November 1, 2023

ID2WJIDOVGFNLXEJQAEHCKZ425N2FOB6TO2MVMW475MYNR2ONE2QC

update

Created by  Michael Zhang  on November 1, 2023

PMMOC2YIW57R7PHLDQ7GURO4ST5LKODR3WHGMAZTTW5X2Y6LFOBQC

progress

Created by  Michael Zhang  on October 22, 2023

75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC

waht the hell

Created by  Michael Zhang  on October 19, 2023

EZBRGLPMQGBK7JUOGBBDXCV5AEQBDORL7K6F7O53AYQDAIFW5MDAC

init

Created by  Michael Zhang  on October 16, 2023

IJD7EFTXP7IELHVVLJ6B3XYGUYAMXXKCPVYKGWC6L7D5ZA47QDYQC