A Flutter web websocket client for Project-M36.
It’s also an attempt to bring algebraic datatypes into the Dart land.

Project-M36 also has a javascript version of websocket client.

Getting Started

  1. git clone the repo.
  2. flutter pub get
  3. flutter pub run build_runner build to generate extra source codes. Here freezed is used to represent ADTs.
  4. flutter -d web-server (I failed to use flutter -d chrome in my nixos.)

Known Issue

  • DataTable can’t have a flexible row height. So RelationAtom can’t be well displayed by DataTable. Right now, it just show as a thumbnail. There is a way to fix it by adjusting the _buildDataCell method of DataTable, but I can’t find a way to edit flutter source code in nixos.

Getting Started With Flutter

This project is a starting point for a Flutter application.

A few resources to get you started if this is your first Flutter project:

For help getting started with Flutter, view our
online documentation, which offers tutorials,
samples, guidance on mobile development, and a full API reference.


View Github