Mark Lemay

I have a Github action to rebuild a re-release a pdf after every commit. but the UI information about the release seems to always be relative to when the release...

cited in https://www.sciencedirect.com/science/article/pii/0168007290900443 ``` P. Martin-Lijf, Unifying Scott’s theory of domains for denotational semantics and intuitionistic type theory (Abstract), Atti del Congresso “Logica e Filosofia della Scienza, oggi,” San Gimignano,...

Segmentation fault on mac build using RA demo

12

I got this project building on my mac and was able to start the maps off of the RA demo. but after I kill a couple buildings, it segfualts I...

A Weather Dataset location

1

Could you provide a URL where the full weather dataset could be found? Thanks

I get the error: ``` Description Resource Path Location Type diverging implicit expansion for type scala.pickling.Pickler[Map[scratch.pickletest.A,Int]] starting with macro method genPickler in trait GenPicklers pickletest.scala ``` on the file ```...

Uncaught At 0 expected: ( found: 5

2

[Enter steps to reproduce:] 1. in http://idris-lang.org/courses/OPLSS2017/Lecture3.zip / interact2-ioactions.idr 2. in atom repl type ```:x help``` **Atom**: 1.18.0 x64 **Electron**: 1.3.15 **OS**: Microsoft Windows 10 Home **Thrown From**: [language-idris](https://github.com/idris-hackers/atom-language-idris) package...

In Scala worksheets (in eclipse) there is an exception thrown for Bag.configuration.compact[Int] it seems to work fine in other environments. I'm not sure what would be causing this but it...

Add the latest gbxml schema as listed https://www.gbxml.org/Schema_Current_GreenBuildingXML_gbXML > https://www.gbxml.org/schema/7-03/GreenBuildingXML_Ver7.03.xsd