Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / cicada-lang/cicada issues and pull requests

#114 - Optimize Solution.walk

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#113 - [feature] coverage check

Issue - State: open - Opened by xieyuheng over 2 years ago

#111 - [feature] constraint-based unification

Issue - State: open - Opened by xieyuheng over 2 years ago - 5 comments

#108 - [design] syntax for "same-as chart"

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

#107 - fix `occurClosure` for `ClosureNative`

Issue - State: open - Opened by xieyuheng over 2 years ago - 1 comment

#106 - [maybe] improve `globals` API

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#105 - [design] syntax to reason about equations

Issue - State: open - Opened by xieyuheng over 2 years ago - 1 comment

#101 - [feature] evaluate neutrals further after unification

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

#100 - implement occur-check of unification

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#99 - Removed `freshen` from readback and deepwalk.

Pull Request - State: closed - Opened by jwyjohn over 2 years ago - 3 comments

#98 - enable further evaluation in (close #96)

Pull Request - State: closed - Opened by WtzLAS over 2 years ago

#97 - [maybe] do not need `freshen` in `readback` and `deepWalk`

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

#95 - Reduce further during deep walk

Pull Request - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#93 - [feature] support self type

Issue - State: open - Opened by xieyuheng over 2 years ago

#92 - [maybe] rename `solve` to `unify`

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

#91 - swap unfold and fold

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#90 - postfix always naming convention

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#88 - [question] should `readback` take `mod.solution` as argument?

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

#87 - [optimization] eager `deepWalk` -- like the elab paper

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#86 - [refactor] change naming convention to postfix always

Pull Request - State: closed - Opened by jwyjohn over 2 years ago - 3 comments

#85 - [refactor] swap the concept about `fold` and `unfold` -- view array as unfolded

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

#83 - [code smell] infer Ap -- Fulfilling type -- not symmetric

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#82 - ImplicitAp insertion during `check`

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

#81 - having solution all the time

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#78 - [feature] `deepWalk`

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

#77 - [feature] unification between `Pi` and `ImplicitPi`

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#75 - [feature] `ImplicitAp` insertion in check mode

Issue - State: closed - Opened by xieyuheng over 2 years ago

#73 - implicit -- implement `ImplicitAp` insertion during `infer` `Ap`

Pull Request - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#72 - [bug] implement `freeNames` to fix the scope BUG of `ImplicitAp` insertion

Issue - State: closed - Opened by xieyuheng over 2 years ago - 9 comments

#71 - implicit -- insert `ImplicitFn`

Pull Request - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#70 - implicit -- implement the trivial parallel Pi first

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#69 - refactor code about enrich Objekt and and infer New

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#68 - limit function syntax

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#67 - optional function return type for function stmts

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago - 1 comment

#66 - remove the constClosure and use readback instead

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#65 - [bug] constClosure will block the substitution in application

Issue - State: closed - Opened by LittleJianCH over 2 years ago - 1 comment

#64 - [design] the syntax of function

Issue - State: closed - Opened by LittleJianCH over 2 years ago

#63 - [feature] playground website

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#62 - REPL

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

#61 - [feature] support running markdown file directly

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#60 - optional function return type for function expression

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago - 1 comment

#59 - Module System

Pull Request - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#57 - [feature] REPL

Issue - State: closed - Opened by xieyuheng over 2 years ago

#56 - command line interface

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

#55 - fix typo `ImplicitAp`

Pull Request - State: closed - Opened by WtzLAS over 2 years ago

#54 - can use double quoted string as key of object (like JSON)

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#53 - [feature] unification between two `Sigma`s

Issue - State: closed - Opened by xieyuheng over 2 years ago - 10 comments

#52 - [feature] unification need to implement occur check

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#51 - refactor `inclusionClazz`

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#50 - use `Enriched` as return type in enrich.ts

Pull Request - State: closed - Opened by WtzLAS over 2 years ago

#49 - fix a typo

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#48 - add Wtz_LASR to AUTHORS

Pull Request - State: closed - Opened by WtzLAS over 2 years ago

#47 - [feature] `the` should use `enrich`

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#46 - infer Objekt

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#45 - add jwyjohn to AUTHORS

Pull Request - State: closed - Opened by jwyjohn over 2 years ago

#44 - add infer for `Objekt`

Pull Request - State: closed - Opened by WtzLAS over 2 years ago

#43 - [feature] equivalence

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

#42 - [feature] inductive datatype

Issue - State: open - Opened by xieyuheng over 2 years ago - 1 comment

#41 - [feature] support recursion

Issue - State: open - Opened by xieyuheng over 2 years ago

#40 - [DX] error report

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#39 - [feature] can use double quoted string as key of object (like JSON)

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

#38 - use let to test infer cons

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#37 - trying to implement *infer Cons to Pair*

Pull Request - State: closed - Opened by jwyjohn over 2 years ago

#36 - [feature] implicit

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#35 - Unification

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#34 - add Implicit support

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#33 - fix enrich -- need to use enrichOrCheck for SequenceLetThe

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#32 - [feature] optional function return type

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

#30 - [feature] infer Cons to `Pair` -- if both `car` and `cdr` can be inferred

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#29 - [feature] infer Objekt -- if all properties can be inferred

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

#28 - [subtyping] Use the inferred type during type binding.

Pull Request - State: closed - Opened by xieyuheng over 2 years ago

#27 - fix infer of Clazz-Ap

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#26 - add a test for the TODO in Clazz-doAp

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#25 - add Ap for Class

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#24 - [design] nullary class application

Issue - State: open - Opened by xieyuheng over 2 years ago - 1 comment

#23 - extract constClosure from infer.ts

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#22 - AnnotatedFn

Pull Request - State: closed - Opened by bzy-debug over 2 years ago - 1 comment

#21 - add NewNameless

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#20 - [DX] standard formatter

Issue - State: open - Opened by xieyuheng over 2 years ago - 1 comment

#19 - [feature] module system

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment

#18 - [design] consistency levels

Issue - State: open - Opened by xieyuheng over 2 years ago - 1 comment

#17 - add some tests in check-new.test.ts

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago - 1 comment

#16 - add infer&check for New

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#15 - [refactor] rename readbackObjekt to readbackProperties

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#14 - Update

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#13 - add check for Objekt

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#12 - add Objekt and Clazz

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#11 - Finish Sigma 🎉🎉🎉🎉

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#10 - PR Sigma

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#9 - fix a bug in LetThe

Pull Request - State: closed - Opened by LittleJianCH over 2 years ago

#6 - [design] about sequence

Issue - State: closed - Opened by xieyuheng over 2 years ago - 1 comment