28 Commits (master)
 

Author SHA1 Message Date
depsterr c195c8a926 started some work on totality checker (not going anywhere) 6 months ago
depsterr 388898b3f7 minor change in TC and TODO update 6 months ago
depsterr 369044bc29 refactor 6 months ago
depsterr 1175881339 it, it works? 6 months ago
depsterr 0a156f2387 work more on type checker 6 months ago
depsterr 12b7a3c540 switch to reader model for type checking, got a lot of stuff done 6 months ago
depsterr 73cb812c15 ?? :D ?? ?? :D __ ?? A:S:DA :) 6 months ago
depsterr fafff52104 create small test readme for simpler subset 6 months ago
depsterr 15d4682a16 complete conversion to simpler subset ast 6 months ago
depsterr b16122a6f2 started work on type checking a subset of the language 6 months ago
depsterr 39e1fd0ab9 asdjksajldasjlk 6 months ago
depsterr bb390c41a2 fixed tree to be more restrictive in line with the language 6 months ago
depsterr 9a71abdf13 typed parser 6 months ago
depsterr 961b7e960b introduced some todo list features and finished the sanity check 6 months ago
depsterr 60a0edbd2d did some minor work on sanity check, pushing to work from desktop 6 months ago
depsterr 6e62d1f617 started creating a sanity check module 6 months ago
depsterr 3262266acd made some slight documentation improvements 6 months ago
depsterr 4afabb3bd6 first functional parsing :) 6 months ago
depsterr 959961dda5 did some work on parser 6 months ago
depsterr 092ddf49b4 work on parse tree 6 months ago
depsterr 2e9b151d31 touched the parser 6 months ago
depsterr 622e696002 created basic lexer 6 months ago
depsterr f3a9dab1e6 gay :) 6 months ago
depsterr af7f1ed738 initialized a cabal enviornment 6 months ago
depsterr b4a6b88a8b removed old file. added hs syntax hl to readme 6 months ago
depsterr 8f80c2b3b4 renamed langscratch to readme 6 months ago
depsterr 3e7edf4402 ??? 6 months ago
depsterr 75cc09d36f initial commit 6 months ago