fiddle.git/src/Language/Fiddle/Types.hs, branch main

Implement qualification.

2024-10-05T23:13:26+00:00

Big change. Implements qualification, which separates the qualification
concerns from the ConsistencyCheck phase.

I'm getting close to implementing a backend.

Clean up warnings and remove unused files.

2024-10-04T00:23:50+00:00

Another monolithic change. Not good git ettiquite.

2024-10-03T07:58:23+00:00

Import statements are fully implemented including compiling to an
interface file for faster compilations.

Fleshed out stage2 and made some big changes.

2024-08-21T23:18:35+00:00

Delegated behavior of Compile monad to monad transformers MaybeT and
RWS.

Parser is able to parse the goal file.

2023-01-09T05:47:50+00:00

Some more fleshing-out of the parser and better AST utils.

2022-12-18T19:18:34+00:00

WIP: Basic parser implemented.

2022-12-18T05:39:05+00:00

The parser is completely untested and probably broken, but it's probably
pretty close becasue it does typecheck. This is a Work-in-progress.

fiddle: have a basic tokenizer working.

2022-12-17T08:28:06+00:00

Start implementing "fiddle" code.

2022-12-17T03:54:00+00:00

nothing is happening right now, but it's on its way.