YuMingLiao

Using Concur to design UIs on Android or iOS.

2

Concur is the most easy way I have ever seen to design a UI! Is it possible to use Concur/ concur-replica to design UIs for android or iOS?

Csv parse text with parens and commas

2

allow csv TextAtom parser to accept parens and commas in order to accept descriptions like "abc(abc)" or "a, b, c"

NoSuchAtributeNamesError when `where true = true`

3

``` TutorialD (master/main): :showexpr true where true = true ERR: NoSuchAttributeNamesError (fromList ["true"]) TutorialD (master/main): :showexpr true where true /= true ┌┐ ││ └┘ TutorialD (master/main): :showexpr true where relation{tuple{}}...

can't inference type of a Nothing value

4

` TutorialD (master/main): a :: {a Maybe Integer} TutorialD (master/main): insert a relation{tuple{ a Nothing}} ERR: TypeConstructorTypeVarMissing "a" `

make showing something implicit

3

In tutorial, a lot of example needs :showexpr to see results. But in ghci, there is no need to type show. You just type it and it will show what...

user can't define ConstructedAtom's show

5

Since project-m36 imeplement ADT to represent structural messages, it may worth to have a user-defined show for ConstructedAtom. (and further, for AttributeName) However, for now, not all ConstructedAtom come from...

AtomFunction max doesn't type check.

2

Hi, I may found an issue when trying atom functions. In tuorial, `max` is for int. in code, `max` is defined for `IntegerAtom` but it doesn't work for IntegerAtom as...

can't infer ConstructedAtomType properly

1

Hi, @agentm I was creating a schema by trying project-m36-typed example with `CrashSafePersistence` db, and then tried to test an insert by tutd. But I can't find a way to...

DataFrame for orderBy, limit, and offset

4

Thanks for @agentm 's opinion, in order to explore more practical usage from relational algebra, we may need > a new type and processing engine for converting Relations to DataFrames...

Just leave here for future reference.