Commit graph

Select branches

Hide pull requests

discord-haskell

master

rocket

yesod-scaffolding

yesod-simple

Mono Color

• f0e291a84d Prevent infinite loop unifying variable with itself master Joscha 2020-12-14 13:59:13 +00:00
• 09a42340fc Add integers Joscha 2020-12-14 13:46:44 +00:00
• 01fa10fefb Fix when "Yes." is displayed. Joscha 2020-12-14 11:21:42 +00:00
• bf50628483 Make parseAndRun nicer to use in ghci Joscha 2020-12-14 11:16:26 +00:00
• 54214ed10c Properly display the empty list Joscha 2020-12-14 00:18:57 +00:00
• 90f97c4c30 Rename parsers for consistency Joscha 2020-12-13 23:59:14 +00:00
• a647b9e26f Display empty results and no results differently Joscha 2020-12-13 23:53:13 +00:00
• d473c8443f Correctly parse expressions Joscha 2020-12-13 23:50:48 +00:00
• 2220c48f6c Clean up unification Joscha 2020-12-13 23:35:07 +00:00
• d90f2c6a2c Separate out Stat from Term Joscha 2020-12-13 23:23:59 +00:00
• 90669d01f2 Remove examples for testing Joscha 2020-12-13 23:23:37 +00:00
• 744091de01 Parse expressions Joscha 2020-12-13 21:56:47 +00:00
• 1547561fa5 Switch name quotes to single quotes Joscha 2020-12-13 21:55:24 +00:00
• e4e5c801f3 Escape names properly Joscha 2020-12-13 21:19:24 +00:00
• 2d5a8ece55 Display lists Joscha 2020-12-13 21:04:15 +00:00
• 0d52c07f68 Parse lists Joscha 2020-12-13 20:51:56 +00:00
• adebcdd26c Add some comments Joscha 2020-12-13 20:35:49 +00:00
• 659f1a9d33 Parse until eof Joscha 2020-12-13 20:31:48 +00:00
• 8a81cd9e77 Add Debug module for easier testing Joscha 2020-12-13 20:23:44 +00:00
• 10ab319620 Filter out results of type "A = A" Joscha 2020-12-13 20:23:28 +00:00
• 60c2c2fe6d Parse terms and definitions Joscha 2020-12-13 20:09:19 +00:00
• 18e5acd693 Convert terms and definitions to strings Joscha 2020-12-13 19:01:55 +00:00
• 52310c766f Add example terms for testing Joscha 2020-12-13 19:01:37 +00:00
• 655fe97cbc Fix run output Joscha 2020-12-13 15:22:56 +00:00
• 6905c7e1cd Run unification on multiple terms Joscha 2020-12-12 20:01:49 +01:00
• 3aa3cb9f41 Encapsulate unification Joscha 2020-12-12 17:56:27 +00:00
• 2803808116 Use T.Text instead of String Joscha 2020-12-12 17:24:23 +00:00
• b20bbb732e Split up Prolog.hs Joscha 2020-12-12 17:23:44 +00:00
• 2b88420a2a Rename from props to propa-tools Joscha 2020-12-11 16:59:56 +00:00
• 37c1307d54 Implement prolog-style unification Joscha 2020-12-11 16:50:39 +00:00
• 89c942e81e Start implementing unification Joscha 2020-12-11 13:44:04 +00:00
• d8ebda0fa9 Add documentation Joscha 2020-11-26 19:26:45 +01:00
• d8865c49d7 Remove test terms Joscha 2020-11-26 19:05:31 +01:00
• b9762ddb10 Correctly display terms Joscha 2020-11-26 19:03:22 +01:00
• 66c77d13b0 Reformat Term.hs Joscha 2020-11-26 19:02:57 +01:00
• 72083325ce Display nested lambdas together Joscha 2020-11-26 18:19:18 +01:00
• 7d0d513735 Display terms with correct parentheses Joscha 2020-11-26 17:54:58 +01:00
• ed7179a846 Restructure and begin displaying lambdas Joscha 2020-11-26 16:07:56 +01:00
• fc0ede9499 Create basic lambda term type Joscha 2020-11-26 14:16:23 +01:00
• bd9586148c Make simple yesod project yesod-simple Joscha 2020-11-24 22:56:50 +00:00
• b17c5d9d3d Set up simple stack project discord-haskell Joscha 2020-11-24 22:56:50 +00:00
• 54928688cd Use rocket rocket Joscha 2020-11-24 23:02:27 +00:00
• 18fe764992 Create rust project Joscha 2020-11-24 22:59:53 +00:00
• 4de8e8ffdc Add scaffolding yesod-scaffolding Joscha 2020-11-24 22:55:20 +00:00
• d49b95b7b4 Create project Joscha 2020-11-24 22:52:41 +00:00