astampoulis/makam issues and pull requests

#118 - Implementing IDE in browser using Datalog

Issue - State: open - Opened by safinaskar over 1 year ago - 1 comment

#117 - minor improvement for bindone, bindmany and vbindmany

Pull Request - State: closed - Opened by ghost over 1 year ago

#116 - inverting open for binders

Issue - State: open - Opened by ghost over 1 year ago

#115 - Extending syntax.makam leads to error with non-existent variable nil

Issue - State: closed - Opened by bforte almost 2 years ago - 3 comments

#114 - More integer arithmetics

Issue - State: open - Opened by suhr almost 3 years ago

#113 - Parse error for adjacent parenthesis

Issue - State: open - Opened by suhr almost 3 years ago

#112 - Loading a file from REPL

Issue - State: closed - Opened by suhr almost 3 years ago - 2 comments

#111 - Syntax rules don't compile

Issue - State: closed - Opened by kkeri over 3 years ago - 3 comments

#110 - Unification failure

Issue - State: open - Opened by mb64 over 3 years ago - 3 comments

#109 - fix transformer state capture

Pull Request - State: closed - Opened by astampoulis almost 4 years ago

#108 - support for toplevel command transformers

Pull Request - State: closed - Opened by astampoulis almost 4 years ago

#107 - Report delayed constraints in the REPL

Issue - State: open - Opened by mb64 almost 4 years ago - 2 comments

#106 - upgrade to ocaml 4.11.1

Pull Request - State: closed - Opened by astampoulis almost 4 years ago

#105 - Constant definitions in Makam

Issue - State: open - Opened by d4hines over 4 years ago - 2 comments

#104 - Iglosiggio/patch 1

Pull Request - State: closed - Opened by astampoulis over 4 years ago

#103 - stdlib/list: Add base case to filtermap

Pull Request - State: closed - Opened by iglosiggio over 4 years ago - 1 comment

#102 - Question: Makam vs. Teyjus

Issue - State: closed - Opened by d4hines over 4 years ago - 3 comments

#101 - fix various issues

Pull Request - State: closed - Opened by astampoulis over 4 years ago - 2 comments

#100 - Type aliases

Issue - State: open - Opened by brendanzab over 4 years ago - 1 comment

#99 - Add bitwise operations for integers

Issue - State: open - Opened by brendanzab over 4 years ago - 2 comments

#98 - add experimental functional syntax

Pull Request - State: closed - Opened by astampoulis over 4 years ago - 6 comments

#97 - Next parts of the tutorial?

Issue - State: open - Opened by luc-tielen over 4 years ago - 3 comments

#96 - use standard file range format for reporting

Pull Request - State: closed - Opened by astampoulis over 4 years ago

#95 - Allow new lines in tests

Issue - State: open - Opened by brendanzab over 4 years ago - 1 comment

#94 - Parse error when whitespace preceeds '>>'

Issue - State: open - Opened by brendanzab over 4 years ago - 1 comment

#93 - add hexademical literals for ints

Pull Request - State: closed - Opened by astampoulis over 4 years ago - 1 comment

#92 - Use `:-` instead of `<-` in stdlib

Pull Request - State: closed - Opened by suhr over 4 years ago - 3 comments

#91 - empty singleline comments

Pull Request - State: closed - Opened by astampoulis over 4 years ago

#90 - When should we use `<-` vs `:-`?

Issue - State: closed - Opened by brendanzab over 4 years ago - 3 comments

#89 - %\n is a syntax error

Issue - State: closed - Opened by brendanzab over 4 years ago - 1 comment

#88 - Confusing error with transitive qualified imports

Issue - State: open - Opened by brendanzab over 4 years ago - 13 comments

#87 - Error in file ./tox.makam, line 3, character 1: Parse error

Issue - State: closed - Opened by suhr over 4 years ago - 2 comments

#86 - Report more valid errors at once

Issue - State: open - Opened by suhr over 4 years ago - 1 comment

#85 - Better error formatting

Issue - State: closed - Opened by suhr over 4 years ago - 9 comments

#84 - HOAS and composition (question)

Issue - State: closed - Opened by suhr almost 5 years ago - 4 comments

#83 - Infix expressions

Issue - State: open - Opened by suhr almost 5 years ago - 3 comments

#82 - add single line comments

Pull Request - State: closed - Opened by astampoulis almost 5 years ago

#81 - File list.makam not found

Issue - State: closed - Opened by suhr almost 5 years ago - 3 comments

#80 - A cheat sheet of Makam syntax

Issue - State: open - Opened by suhr almost 5 years ago - 2 comments

#79 - Single line comments

Issue - State: closed - Opened by suhr almost 5 years ago - 2 comments

#78 - `pa_monad_custom` is no longer supported

Issue - State: closed - Opened by suhr almost 5 years ago - 2 comments

#77 - reapply fix for backtracking losing assumptions

Pull Request - State: closed - Opened by astampoulis almost 5 years ago

#76 - Runtime typing resolution fails while using `dyn`

Issue - State: open - Opened by teofr almost 5 years ago - 3 comments

#75 - map for option

Pull Request - State: closed - Opened by teofr almost 5 years ago - 3 comments

#74 - Only check once if the tests should be run verbose

Pull Request - State: closed - Opened by teofr almost 5 years ago - 1 comment

#73 - Implement eqv using structural

Pull Request - State: closed - Opened by teofr almost 5 years ago - 3 comments

#72 - Teofr/makam nixos compat

Pull Request - State: closed - Opened by astampoulis almost 5 years ago

#71 - Potential problem with the implementation of `eqv`

Issue - State: open - Opened by teofr almost 5 years ago - 1 comment

#71 - Potential problem with the implementation of `eqv`

Issue - State: open - Opened by teofr almost 5 years ago - 1 comment

#70 - Make the bash path NixOS compatible

Pull Request - State: closed - Opened by teofr almost 5 years ago - 2 comments

#69 - fix backtracking losing assumptions

Pull Request - State: closed - Opened by astampoulis almost 5 years ago

#68 - update Node and fix ci

Pull Request - State: closed - Opened by astampoulis almost 5 years ago

#67 - guardmany fix

Pull Request - State: closed - Opened by astampoulis almost 5 years ago - 2 comments

#66 - Assumed rules disappear after exiting the context and backtracking back to it

Issue - State: closed - Opened by teofr almost 5 years ago - 5 comments

#65 - Infinite loop problem in the definition of `guardmany_aux`

Issue - State: closed - Opened by teofr almost 5 years ago - 2 comments

#64 - Feature request: use `structural` on the default implementation of `eqv`

Issue - State: closed - Opened by teofr almost 5 years ago - 6 comments

#63 - fix for constraints spawned by unification

Pull Request - State: closed - Opened by astampoulis almost 5 years ago - 1 comment

#62 - Teofr/fix mult

Pull Request - State: closed - Opened by astampoulis almost 5 years ago

#61 - Problem with `guard`, order of unification and constraints

Issue - State: closed - Opened by teofr almost 5 years ago - 2 comments

#60 - The `mult` primitive was wrong in some cases.

Pull Request - State: closed - Opened by teofr almost 5 years ago - 12 comments

#59 - add example of external js parser

Pull Request - State: closed - Opened by astampoulis almost 5 years ago - 1 comment

#58 - fix npm packages

Pull Request - State: closed - Opened by astampoulis about 5 years ago

#57 - update npm packages

Pull Request - State: closed - Opened by astampoulis about 5 years ago

#56 - call-by-need lambda calculus with Launchbury semantics

Pull Request - State: closed - Opened by astampoulis about 5 years ago

#55 - Fixed small issue with the CBNeed implementation.

Pull Request - State: closed - Opened by teofr about 5 years ago - 1 comment

#54 - fix call-by-need strategy in experiment

Pull Request - State: closed - Opened by astampoulis about 5 years ago

#54 - fix call-by-need strategy in experiment

Pull Request - State: closed - Opened by astampoulis about 5 years ago

#53 - small fixes in docs and ci

Pull Request - State: closed - Opened by astampoulis about 5 years ago

#53 - small fixes in docs and ci

Pull Request - State: closed - Opened by astampoulis about 5 years ago

#52 - Problem with the experimental call by need

Issue - State: closed - Opened by teofr over 5 years ago - 5 comments

#51 - Fixing the eval rule for >=

Pull Request - State: closed - Opened by teofr over 5 years ago - 1 comment

#51 - Fixing the eval rule for >=

Pull Request - State: closed - Opened by teofr over 5 years ago - 1 comment

#50 - various version updates

Pull Request - State: closed - Opened by astampoulis over 5 years ago

#50 - various version updates

Pull Request - State: closed - Opened by astampoulis over 5 years ago

#49 - concrete_reify and syntax syntax that uses it

Pull Request - State: closed - Opened by astampoulis about 6 years ago

#49 - concrete_reify and syntax syntax that uses it

Pull Request - State: closed - Opened by astampoulis about 6 years ago

#48 - switch ints to bigints

Pull Request - State: closed - Opened by astampoulis about 6 years ago - 1 comment

#47 - fixes in tinyml

Pull Request - State: closed - Opened by astampoulis about 6 years ago